up previous next

1.9.13 Geometrical Theorem-Proving [PROTOTYPE]

This is just a prototype: exact semantics, and interface are likely to change!

TITLE       : thmproving.cpkg
DESCRIPTION : CoCoA package for geometrical theorem-proving in euclidean space
AUTHOR      : L. Bazzotti, G. Dalzotto

ThmMan();